Conjunt parcialment ordenat

En matemàtiques, especialment en teoria de l'ordre, un conjunt parcialment ordenat (o poset, de l'anglès partially ordered set) és un conjunt equipat amb una relació binària d'ordre parcial. Aquesta formalitza el concepte intuïtiu d'ordre, seqüència, o arranjament dels elements del conjunt. Un tal ordre no necessàriament ha de ser total, és a dir, no es necessita que es puguin comparar els uns amb els altres tots els elements del conjunt. Tot i així, això pot ocórrer en alguns casos (en altres paraules, l'ordre total és un cas particular de l'ordre parcial).